Xavier Leroy

Results: 125



#Item
11Verified squared: does critical software deserve verified tools? Xavier Leroy INRIA Paris-Rocquencourt POPL 2011

Verified squared: does critical software deserve verified tools? Xavier Leroy INRIA Paris-Rocquencourt POPL 2011

Add to Reading List

Source URL: xavierleroy.org

Language: English - Date: 2018-08-01 14:49:25
    12Trust in compilers, code generators, and software verification tools Xavier Leroy Inria Paris Embedded Real Time Software and Systems,

    Trust in compilers, code generators, and software verification tools Xavier Leroy Inria Paris Embedded Real Time Software and Systems,

    Add to Reading List

    Source URL: xavierleroy.org

    Language: English - Date: 2018-08-01 14:49:25
      13Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy

      Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy

      Add to Reading List

      Source URL: jtristan.github.io

      Language: English - Date: 2018-06-24 11:22:27
        14The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

        The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

        Add to Reading List

        Source URL: caml.inria.fr

        Language: English - Date: 2017-11-03 12:23:36
          15Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France

          Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France

          Add to Reading List

          Source URL: refal.botik.ru

          - Date: 2018-03-19 17:25:59
            16The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

            The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

            Add to Reading List

            Source URL: caml.inria.fr

            - Date: 2017-11-03 12:23:36
              17T HE EASST N EWSLETTER Maintaining large software distributions: new challenges from the FOSS era Roberto Di Cosmo *and Berke Durak **and Xavier Leroy **and Fabio Mancinelli *and J´erˆome

              T HE EASST N EWSLETTER Maintaining large software distributions: new challenges from the FOSS era Roberto Di Cosmo *and Berke Durak **and Xavier Leroy **and Fabio Mancinelli *and J´erˆome

              Add to Reading List

              Source URL: gallium.inria.fr

              - Date: 2006-03-03 16:48:23
                18The OCaml system release 4.04 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

                The OCaml system release 4.04 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

                Add to Reading List

                Source URL: caml.inria.fr

                - Date: 2016-11-04 12:44:19
                  19Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt &

                  Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt &

                  Add to Reading List

                  Source URL: pauillac.inria.fr

                  - Date: 2004-03-15 03:30:14
                    20From Krivine’s machine to the Caml implementations Xavier Leroy INRIA Rocquencourt 1

                    From Krivine’s machine to the Caml implementations Xavier Leroy INRIA Rocquencourt 1

                    Add to Reading List

                    Source URL: pauillac.inria.fr

                    - Date: 2005-05-18 04:32:58